منابع مشابه
Fair Testing
Abs t rac t . We investigate the notion of fair testing, a formal testing theory in the style of De Nicola and Hennessy, where divergences are disregarded as long as there axe visible outgoing transitions. The usual testing theories, such as the standard model of failure pre-order, do not allow such fair interpretations because of the way in which they ensure their compositionality with respect...
متن کاملFair Testing through Probabilistic Testing
In this paper we deene a probabilistic testing semantics which can be used to alternatively characterize fair testing. The key idea is to deene a probabilistic semantics in such a way that two non-probabilistic processes are fair equivalent ii any probabilistic version of both processes are equivalent in our probabilistic testing semantics. In order to get this result we deene a simple probabil...
متن کاملApplications of Fair Testing
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speciication and analysis of distributed systems. This pre-order combines some features of the standard testing pre-orders, viz. the possibility to reene a speciication by the resolution of nondeterminism, with a powerful feature of standard observation congruence, viz. the fair abstra...
متن کاملDivergence and Fair Testing
This paper develops a new testing-based semantic theory of processes that aims to circumvent diiculties that traditional testing/failures theories have in dealing with divergent behavior. Our framework incorporates a notion of fairness into the determination of when a process passes a test; we contrast this deenition with existing approaches and give characterizations of the induced semantic pr...
متن کاملConflicts and Fair Testing
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the context of discrete event systems, where two concurrent systems are said to be in conflict if they can get trapped in a situation where they are waiting or running endlessly, forever unable to complete their common task. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2007
ISSN: 0890-5401
DOI: 10.1016/j.ic.2006.06.002